THE ESSENCE OF CRIMINALISTIC TECHNICS

Technics of coronary arteriography.

Technics of the Subject : The Avatar - Drive

This essay considers the digital avatar not simply as a name for a virtual double of the player of videogames, but as bound to or manifesting psychological drive, a kind of homunculus of the drive. Drawing on a wide range of theories that have informed technical constructions of the subject, it applies in particular an important moment in Lacan's description of the drive to the concept of the g...

The Essence of JavaScript

We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. We explicate the desugaring process that turns JavaScript programs into ones in the core. We demonstrate faithfulness to JavaScript using real-world test suites. Finally, we illustrate utility by defining a security pr...

The Essence of Multitasking

This article demonstrates how a powerful and expressive abstraction from concurrency theory—monads of resumptions—plays a dual rôle as a programming tool for concurrent applications. The article demonstrates how a wide variety of typical OS behaviors may be specified in terms of resumption monads known heretofore exclusively in the literature of programming language semantics. We illustrate the...

The essence of ornaments

Functional programmers from all horizons strive to use, and sometimes abuse, their favorite type system in order to capture the invariants of their programs. A widely-used tool in that trade consists in defining finely-indexed datatypes. Operationally, these types classify the programmer’s data, following the ML tradition. Logically, these types enforce the program invariants in a novel manner....